Stichworte file pickling writing dumping streaming